On certain incapacities claimed for logicians.

Category Theory for Linear Logicians

This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis of the model theory of linear logic. With this in mind, we focus on the basic definitions of category theory and categorical logic. An analysis of cartesian and cartesian closed categories and their relation to intuitionistic logic is followed by a consideration of symmetric monoida...

On Discourses Addressed by Infidel Logicians

We attempt to address here some alleged criticisms against the philosophical import of the so-called Brazilian approach to paraconsistency, especially by providing some demanded epistemic elucidations to the whole enterprise of the logics of formal inconsistency. In the way of elucidating, we substantiate the view that difficulties in reasoning under contradictions in both the Buddhist and the ...

Logicians Who Reason About Themselves

By treating belief as a modality and combining this with problems about constant truth tel lers and constant l iars (knights and knaves) we obtain some curious epistemic counterparts of undecidability results in metamathematics. Godel's second theorem gets reflected in a logician who cannot believe in his own consistency without becoming inconsistent. Lob's theorem reflects i t se l f in a vari...

Three Logicians: Aristotle, Saccheri, Frege

Medical miracle claimed for Canadian explorer.

In his long and remarkable life (1770–1857), David Thompson worked for the Hudson’s Bay Co. and the Northwest Co., traded with Indians from Hudson Bay to the Pacific and spoke both Cree and Blackfoot. He learned the science of practical astronomy, which allowed him to calculate coordinates of latitude and longitude, as he explored regions then known only to the Indians. Later, he used these obs...